Yiannis Moschovakis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 598 KB

english, 2006

2

Computabilityby Douglas S. Bridges

Review by: Yiannis N. Moschovakis

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 236 KB

english, 1995

3

The Suslin-Kleene theorem for countable structures

Moschovakis, Yiannis N.

Journal:

Duke Mathematical Journal

Year:

1970

Language:

english

File:

PDF, 1.13 MB

english, 1970

4

The formal language of recursion

Moschovakis, Yiannis N.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.93 MB

english, 1989

5

Kleene's Amazing Second Recursion Theorem

Moschovakis, Yiannis N.

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 469 KB

english, 2010

6

Computability. By Douglas S. Bridges

Moschovakis, Yiannis N.

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 499 KB

english, 1995

7

Hyperanalytic Predicates

Yiannis N. Moschovakis

Journal:

Transactions of the American Mathematical Society

Year:

1967

Language:

english

File:

PDF, 2.96 MB

english, 1967

8

The logic of recursive equations

Hurkens, A. J. C., McArthur, Monica, Moschovakis, Yiannis N., Moss, Lawrence S., Whitney, Glen T.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.75 MB

english, 1998

9

Abstract Recursion and Intrinsic Complexity || Lower bounds from division and multiplication

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 123 KB

english, 2018

10

Arithmetic complexity

Dries, Lou Van Den, Moschovakis, Yiannis N.

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

11

The Formal Language of Recursion

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 720 KB

english, 1989

12

The Game Quantifier

Yiannis N. Moschovakis

Journal:

Proceedings of the American Mathematical Society

Year:

1972

Language:

english

File:

PDF, 205 KB

english, 1972

13

Quelques Pseudo-Paradoxes de la "Calculabilité Effective."by Jean Porte;An Argument Against the Plausibility of Church's Thesisby László Kalmár;Rekursivität und Konstruktivitätby Rózsa Péter;On Some Recent Criticism of Church's Thesisby Elliott Mendelson

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 374 KB

english, 1968

14

The Axiom of Choice and the Class of Hyperarithmetic Functionsby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 382 KB

english, 1970

15

Hierarchies of Effective Descriptive Set Theory.by Peter G. Hinman

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 238 KB

english, 1972

16

Two theorems about projective sets

Alexander S. Kechris, Yiannis N. Moschovakis

Journal:

Israel Journal of Mathematics

Year:

1972

Language:

english

File:

PDF, 338 KB

english, 1972

17

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Reals and Forcing with an Elementary Topos

Moschovakis, Yiannis N.

Year:

1992

Language:

english

File:

PDF, 1.24 MB

english, 1992

18

KLEENE'S AMAZING SECOND RECURSION THEOREM

YIANNIS N. MOSCHOVAKIS

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 3.31 MB

english, 2010

19

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 5.46 MB

english, 2006

20

Intuitionism and effective descriptive set theory

Moschovakis, Joan R., Moschovakis, Yiannis N.

Journal:

Indagationes Mathematicae

Year:

2017

Language:

english

File:

PDF, 811 KB

english, 2017

21

The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic

John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 334 KB

english, 1979

22

Meeting of the Association for Symbolic Logic, San Francisco, 1981

Barwise, Jon, Vaught, Robert, Moschovakis, Yiannis

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 745 KB

english, 1983

23

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || Introduction to Q-Theory

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1983

Language:

english

File:

PDF, 2.81 MB

english, 1983

24

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || Closure properties of pointclasses

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 579 KB

english, 1981

25

In Memoriam: Robin Oliver Gandy 1919–1995

Moschovakis, Yiannis, Yates, Mike

Journal:

Bulletin of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 53 KB

english, 1996

26

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium Volume 79 || Structural Characterizations of Classes of Relations

Moschovakis, Yiannis N.

Year:

1974

Language:

english

File:

PDF, 941 KB

english, 1974

27

Abstract Recursion and Intrinsic Complexity || Lower bounds from division with remainder

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 149 KB

english, 2018

28

Perfect Subsets of Definable Sets of Real Numbers.by Richard Mansfield

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 84 KB

english, 1975

29

Is the Euclidean Algorithm Optimal among Its Peers?

Lou van den Dries and Yiannis N. Moschovakis

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 519 KB

english, 2004

30

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || Ordinal games and playful models

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 1.58 MB

english, 1981

31

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || On Vaught's conjecture

Kechris, Alexander S., Moschovakis, Yiannis N.

Year:

1978

Language:

english

File:

PDF, 709 KB

english, 1978

32

A Proof of Mansfield's Theorem by Forcing Method.by Yoemon Sampei

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 84 KB

english, 1975

33

Abstract Recursion and Intrinsic Complexity || Non-uniform complexity in N

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 99 KB

english, 2018

34

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || More saturated ideals

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1983

Language:

english

File:

PDF, 932 KB

english, 1983

35

Abstract Recursion and Intrinsic Complexity || Polynomial nullity (0-testing)

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 167 KB

english, 2018

36

Computable concurrent processes

Yiannis N. Moschovakis

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

37

Abstract Recursion and Intrinsic Complexity || Symbol index

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 77 KB

english, 2018

38

Classical descriptive set theory as a refinement of effective descriptive set theory

Yiannis N. Moschovakis

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 315 KB

english, 2010

39

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Computability and Complexity of Higher Type Functions

Moschovakis, Yiannis N.

Year:

1992

Language:

english

File:

PDF, 2.06 MB

english, 1992

40

On the Notational Independence of Various Hierarchies of Degrees of Unsolvabilityby Gustav Hensel; Hilary Putnam

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 328 KB

english, 1967

41

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || Wadge degrees and descriptive set theory

Kechris, Alexander S., Moschovakis, Yiannis N.

Year:

1978

Language:

english

File:

PDF, 735 KB

english, 1978

42

Abstract Recursion and Intrinsic Complexity || General index

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 71 KB

english, 2018

43

Global Inductive Definability

Jon Barwise and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 324 KB

english, 1978

44

Recursive Pseudo-well-Orderings.by Joseph Harrison

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 372 KB

english, 1972

45

[Studies in Logic and the Foundations of Mathematics] LOGIC COLLOQUIUM '69 Volume 61 || Axioms for Computation Theories-First Draft

Moschovakis, Yiannis N.

Year:

1971

Language:

english

File:

PDF, 1.87 MB

english, 1971

46

Some Consequences of the Axiom of Definable Determinateness

J. W. Addison and Yiannis N. Moschovakis

Journal:

Proceedings of the National Academy of Sciences

Year:

1968

Language:

english

File:

PDF, 232 KB

english, 1968

47

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || The axiom of determinacy, strong partition properties and nonsingular measures

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 818 KB

english, 1981

48

Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchyby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 221 KB

english, 1970

49

Is the Euclidean Algorithm Optimal Among its Peers?

Van Den Dries, Lou, Moschovakis, Yiannis N.

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 284 KB

english, 2004

50

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Axiomatic Derivation of Absolute Lower Bounds

Moschovakis, Yiannis N.

Year:

2008

Language:

english

File:

PDF, 125 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски